3

An experiment in model-driven conceptual database design

Year:
2018
Language:
english
File:
PDF, 3.15 MB
english, 2018
13

Formalizing complex plane geometry

Year:
2015
Language:
english
File:
PDF, 610 KB
english, 2015